Camponotus (Myrmothrix) abdominalis floridanus